|
Rohit Jivanlal Parikh (born November 20, 1936) is a mathematician, logician, and philosopher who has worked in many areas in traditional logic, including recursion theory and proof theory. His catholic attitude towards logic has led to work on topics like vagueness, ultrafinitism, belief revision, logic of knowledge, game theory and social software (social procedure). This last area seeks to combine techniques from logic, computer science (especially logic of programs) and game theory to understand the structure of social algorithms. Examples of such are elections, transport systems, lectures, conferences, and monetary systems, all of which have properties of interest to those who are logically inclined. Rohit Parikh was married from 1968 to 1994 to Carol Parikh (née Geris), who is best known for her prize-winning stories and for her influential biography of Oscar Zariski, ''The Unreal Life of Oscar Zariski''. They have two children, Vikram (born 1969) and Uma (born 1974). Parikh's theorem, stating that regular languages and context-free languages have the same sets of letter frequency vectors, is named after him. == Posts == * Editor, International Journal of the Foundations of Computer Science, 1990–1995 * Editor, Journal of Philosophical Logic, 2000–2003 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Rohit Jivanlal Parikh」の詳細全文を読む スポンサード リンク
|